Title	An Autonomic Distributed Algorithm for Forming Balanced Binary Trees of Nodes in a Structured P2P System in a Multicast-enabled Environment
Author	Takashi Yamanoue, Kentaro Oda, Koichi Shimozono
Citation	Vol. 11  No. 10  pp. 57-63
Keywords	peer to peer, overlay network, autonomic, distributed algorithm, binary tree

Title	Formal Analysis of Distributed Shared Memory Algorithms
Author	Muhammad Atif, Muhammad Adnan Hashmi, Mudassar Naseer, and Ahmad Salman Khan
Citation	Vol. 24  No. 4  pp. 192-196
Keywords	Virtual memory, Distributed Algorithm, Formal Specification, Verification.